161. Assignment problems /
پدیدآورنده : Rainer Burkard, Mauro Dell'Amico, Silvano Martello
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Assignment problems (Programming),Computer science-- Mathematics
رده :
QA402
.
6
.
B87
2009
162. Assignment problems
پدیدآورنده : Burkard, Rainer E.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Assignment problems )Programming(,Mathematics ، Computer science
رده :
QA
402
.
6
.
B87
163. At the intersection of language, logic, and information :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Congresses. ;
164. Atlas for computing mathematical functions: an illustrated guide for practitioners, with programs in C and Mathematica
پدیدآورنده : Thompson, William Jackson
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Computer programs ، Functions,Mathematics Computer programs ، Science,، C )Computer program language(,، Mathematica )Computer program language(
رده :
QA
331
.
T385
165. Automata, logics, and infinite games
پدیدآورنده : Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
L28
Vol
.
2500
166. Automata, logics, and infinite games
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
167. Automata, logics, and infinite games
پدیدآورنده : Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
9
.
M35
A85
2002
168. BASIC programs for scientists and engineers
پدیدآورنده : Miller, Alan R.
موضوع : ، Mathematics-- Computer programs,، Science-- Computer programs,، Engineering-- Computer program,، Basic )Computer program language(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
169. Barriers and Challenges in Computational Fluid Dynamics
پدیدآورنده : edited by V. Venkatakrishnan, Manuel D. Salas, Sukumar R. Chakravarthy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algorithms.,Computer science-- Mathematics.,Differential equations, Partial.,Engineering mathematics.,Mechanics.,Physics.
170. Basic Concepts in Computational Physics /
پدیدآورنده : by Benjamin A. Stickler, Ewald Schachinger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Applied mathematics.,Chemistry, Physical and theoretical.,Computer science-- Mathematics.,Engineering mathematics.,Physics.,Chemistry, Physical and theoretical.,Computer science-- Mathematics.,Engineering mathematics.,Physics.
رده :
QC1-999
171. Beginning math and physics for game programmers
پدیدآورنده : / Wendy Stahler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer science- Mathematics,Computer games- Programming,Physics- Data processing
رده :
QA76
.
9
.
M35
,
S73
2004
172. Best Approximation in Inner Product Spaces
پدیدآورنده : by Frank Deutsch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Global analysis (Mathematics).,Mathematics.
173. Big data in engineering applications /
پدیدآورنده : Sanjiban Sekhar Roy, Pijush Samui, Ravinesh Deo, Stavros Ntalampiras, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Big data.,Computational intelligence.,Computer science-- Mathematics.,Engineering.,Big data.,Computational intelligence.,Computer science-- Mathematics.,COMPUTERS-- Data Processing.,Engineering.
رده :
Q342
174. Biostatistic and Computer Applications
پدیدآورنده : Goswami Rajeev
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : Mathematics ، Computer science
رده :
QA
76
.
9
.
B46G77
2009
175. Bitcoin, Blockchain Technology, and Secure Hash Algorithms
پدیدآورنده : Plummer, Daniel Eugene
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science,Electrical engineering,Mathematics
176. Bitcoin, Blockchain Technology, and Secure Hash Algorithms
پدیدآورنده : Plummer, Daniel Eugene
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science,Electrical engineering,Mathematics
177. Boolean function complexity : advances and frontiers
پدیدآورنده : Jukna, Stasys, 3591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computational complexity,، Computer science -- Mathematics,، Combinatorial analysis
رده :
QA
267
.
7
.
J84B6